VDict mobile



S-Kreduction machine not found. Suggestions:

S-K reduction machine
abstract machine
Stack Environment Control Dump machine
machine learning
Nondeterministic Turing Machine
dynamic translation
Lisp Machine
threaded code
Virtual Machine/Conversational Monitor System
Tcode
virtual machine